命题理论 propositional code theory: 命题编码理论propositional coding theory: 命题编码说propositional: 建议的; 提议的; 主张的propositional act: 命题行为propositional algebra: 命题代数下载手机词典可随时随地查词查翻译